$\forall$$m$, $a$, $b$:$\mathbb{Z}$. $a$ $=$ $b$ $\Rightarrow$ ($a$ = $b$ mod $m$)